module

public meta import Mathlib.Tactic.Linter.DeprecatedModule
public meta import Batteries.Tactic.GeneralizeProofs

deprecated_module (since := "2025-11-09")
